lecture series on logic and foundations of mathematics